function change_image(path){
    document.getElementById('ImageDetail').src=path;	
}